Language Planning and Design Automation
نویسنده
چکیده
A development of aspects of the philosophies of Leibniz and Carnap in the direction of design automation.
منابع مشابه
A Systems Approach to Information Technology (IT) Infrastructure Design for Utility Management Automation Systems
Almost all of electric utility companies are planning to improve their management automation system, in order to meet the changing requirements of new liberalized energy market and to benefit from the innovations in information and communication technology (ICT or IT). Architectural design of the utility management automation (UMA) systems for their IT-enabling requires proper selection of ...
متن کاملInterconnect planning with local area constrained retiming - Design, Automation and Test in Europe Conference and Exhibition, 2003
We present a framework that considers global routing, repeater insertion, and flip-flop relocation for early interconnect planning. We formulate the interconnect retiming and flip-flop placement problem as a local area constrained retiming problem and solve it as a series of weighted minimum area retiming problems. Our method for early interconnect planning can reduce and even avoid design iter...
متن کاملModeling, Simulation and Optimization of Process Planning
Designing of production systems from the standpoint of necessary resources for carrying out the production process for many years present an important set of engineering tasks. In the scope of design of production systems, in addition to design of process planning, it is necessary to make the determination of normative parameters, by which the effectiveness of the production process will achiev...
متن کاملInterleaving assembly planning and design
The main objective of assembly planning is to determine a sequence of assembling a product with respect to its geometric, and resource constraints. Recent strides toward concurrent engineering have called for a tighter integration of assembly planning with design, because often during assembly planning, one realizes that a signiicant amount of assembly cost can be cut by redesigning the product...
متن کاملProof Planning and Program Synthesis: A Survey
Proof planning is a knowledge-based automated theorem proving t~hnlque. It has been applied to a number of theorem-proving domains, for example: mathematical induction (Bundy et al.1991), and hardware verification (Cantu et a/.1996) (to pick two of the many). In the domain of program synthesis, it has been used to automate the synthesis of logic (Kraan et a/.1993a, Kraan et al.1993b, Basin et a...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2011